FDL - Nuprl Definition : spread8

Nuprl Definition : spread8

let a,b,c,d,e,f,g,h = u in
v(a;b;c;d;e;f;g;h)
== let a,zz1 = u
== in
== let b,zz2 = zz1
== in
== let c,zz3 = zz2
== in
== let d,zz4 = zz3
== in
== let e,zz5 = zz4 in let f,zz6 = zz5 in let g,h = zz6 in v(a;b;c;d;e;f;g;h)

latex

Definitions let x,y = A in B(x;y)

FDL editor aliases spread8

origin

Definitions	let x,y = A in B(x;y)
FDL editor aliases	spread8